" Willem-Paul de Roever" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Concurrency, Compositionality, and Correctness: Essays in Honor of Willem-Paul de Roever (Lecture Notes in Computer Science Theoretical Computer Science and General Issues)

Dennis Dams, Ulrich Hannemann, Martin Steffen

Категория: Компьютеры

5.37 Mb

#2

Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures (Lecture Notes in Computer Science)

Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever

9.52 Mb

#3

Data Refinement: Model-Oriented Proof Methods and their Comparison (Cambridge Tracts in Theoretical Computer Science (No. 47))

Willem-Paul de Roever, Kai Engelhardt

16.81 Mb

#4

Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-27, 2007, Revised Lectures

Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever

7.96 Mb

#5

Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures ... / Programming and Software Engineering)

Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever

Категория: Компьютеры

3.81 Mb

#6

Concurrency, Compositionality, and Correctness: Essays in Honor of Willem-Paul de Roever (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

Dennis Dams, Ulrich Hannemann, Martin Steffen

5.49 Mb

#7

Formal Methods for Components and Objects, 4 conf., FMCO 2005

Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever

Категория: Cs_Computer science, CsLn_Lecture notes

3.85 Mb

#8

Compositionality: The Significant Difference, COMPOS'97

Willem-Paul de Roever, Hans Langmaack, Amir Pnueli

Категория: Cs_Computer science, CsLn_Lecture notes

3.82 Mb

#9

Formal Methods for Components and Objects, 5 conf., FMCO 2006

Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever

Категория: CsLn_

3.18 Mb

#10

Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International Symposium Organized Jointly with the Working Group Provably Correct ... 3rd

Hans Langmaack, Willem-Paul de Roever, Jan Vytopil

6.86 Mb

#11

Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989. Proceedings

Jaco W. de Bakker, Willem-Paul de Roever, Grzegorz Rozenberg

7.52 Mb

#12

Formal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures

Frank S.de Boer, Marcello Bonsangue, Susanne Graf, Willem-Paul de Roever

4.59 Mb

#13

Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures

Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever

3.47 Mb